pre {
  font-family: Menlo, Consolas, 'DejaVu Sans Mono';
  font-size: 0.8em;
}
